.fun exit BUILTIN [] = [S32]
.fun xbrk BUILTIN [A32] = [A32]
.fun open BUILTIN [S32] = [A32 S32 S32]
.fun close BUILTIN [S32] = [S32]
.fun write BUILTIN [S32] = [S32 A32 U32]
.fun read BUILTIN [S32] = [S32 A32 U32]
.fun lseek BUILTIN [S32] = [S32 S32 S32]
.fun kill BUILTIN [S32] = [S32 S32]
.fun getpid BUILTIN [S32] = []
